As internally the page is stored as a RastPort, it can be printed
very easily with the io_command <#454#>PRD_DUMPRPORT<#454#>.
As this functions over the printerdriver as selected in the
preferences, this function can be used on every printer capable
of printing graphics. The resolution is not as good though, since
ShowDVI<#455#><#455#> works with a low resolution. With 1 MB CHIP-RAM you should
be able to print with up to 300 DPI.
A print that is not ready yet can be recognized on the ``P'' in
the right-upper corner on the menu bar. During this you can neither
leave the current page, nor load a new DVI file.
A running printing process can be aborted with the menu entry or key
with which it has been started.